<script lang="ts">
    export let a: number;
    export let b: number | undefined;
    export let c: number = 123;
</script>
